A Proof-Centric approach to Mathematical Assistants Lucas Dixon and Jacques Fleuriot School of Informatics, University of Edinburgh, Appleton Tower, Crighton Street, Edinburgh, EH8 9LE, UK

Source URL: homepages.inf.ed.ac.uk

• Automated theorem proving
• Logic
• Theoretical computer science
• Mathematical logic
• Isabelle
• IsaPlanner
• Proof assistant
• Mathematical proof
• Automated proof checking
• Rippling
• Theorem
• Proof

SRL challenge: Extracting proof strategies from exemplar proofs Gudmund Grov, Katya Komendantskaya, Alan Bundy Statistical Relational Learning Workshop 30 June 2012

Source URL: www.ai4fm.org

• Theoretical computer science
• Software
• Logic
• Proof assistants
• Automated theorem proving
• Formal systems
• Logical truth
• Proof theory
• Isabelle
• ACL2
• Coq
• Proof

The Grad of a Graph and Classes with Bounded Expansion Jaroslav Neˇsetˇril 1 Department of Applied Mathematics and Institute of Theoretical Computer Science Charles University Praha, Czech Republic

Source URL: iti.mff.cuni.cz

Proceedings of the International Congress of Mathematicians Hyderabad, India, 2010 The Work of Daniel A. Spielman Gil Kalai Dan Spielman has made groundbreaking contributions in theoretical computer

Source URL: www.icm2010.in

• Mathematics
• Computational complexity theory
• Computer science
• Analysis of algorithms
• Linear programming
• Operations research
• Mathematical optimization
• Smoothed analysis
• KleeMinty cube
• Simplex algorithm
• Daniel Spielman
• Algorithm

Newman’s Typability Algorithm Herman Geuvers1 Radboud University Nijmegen and Eindhoven University of Technology The Netherlands

Source URL: www.cs.ru.nl

• Theoretical computer science
• Formal methods
• Mathematical logic
• Computability theory
• Type theory
• Algorithm
• Lambda calculus
• Combinatory logic
• Set theory
• Gottlob Frege
• Ernst Zermelo

Controlling Extraction in Abstract Categorial Grammars Sylvain Pogodalla1 and Florent Pompigne2 1

Source URL: www.angl.hu-berlin.de

• Theoretical computer science
• Grammar frameworks
• Complexity classes
• Theory of computation
• Type theory
• Formal languages
• Mathematics
• Categorial grammar
• NP
• Lambda calculus
• Model theory

August 4, :42 WSPC - Proceedings Trim Size: 9.75in x 6.5in

Source URL: www.jsbi.org

• Graph theory
• Mathematics
• Networks
• Graph partition
• Discrete mathematics
• Graph
• Community structure
• Hypergraph
• Tree
• Theoretical computer science
• Planar separator theorem

Structure and Computation of Straight Skeletons in 3-Space Franz Aurenhammer and Gernot Walzl Institute for Theoretical Computer Science, Graz University of Technology, Graz, Austria {auren,gernot.walzl}@igi.tugraz.at

Source URL: www.igi.tugraz.at

DMTCS vol. 16:2, 2014, 1–20 Discrete Mathematics and Theoretical Computer Science Diversities and the Geometry of Hypergraphs David Bryant1∗

Source URL: www.maths.otago.ac.nz

Distance constrained labelings of trees Jiˇr´ı Fiala1 , Petr A. Golovach2 , Jan Kratochv´ıl1 1 Institute for Theoretical Computer Science† and Department of Applied Mathematics,

Source URL: iti.mff.cuni.cz